Buy Used and New Mariëlle Stoelinga Books

Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures: 8453 (Lecture Notes in Computer Science)

by Anne Remke,Mariëlle Stoelinga

ISBN 13: 9783662454886

Format: Paperback (296 pages)
Publisher: Springer
Published: 12 Nov 2014

Save for later

Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings: 8054 (Lecture Notes in Computer Science)

by Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio

ISBN 13: 9783642401954

Format: Paperback (420 pages)
Publisher: Springer
Published: 07 Aug 2013

Save for later

Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings: 7437 (Lecture Notes in Computer Science)

by Mariëlle Stoelinga, Ralf Pinger

ISBN 13: 9783642324680

Format: Paperback (240 pages)
Publisher: Springer
Published: 17 Jul 2012

Save for later

Fundamental Approaches to Software Engineering: 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and ... 12649 (Lecture Notes in Computer Science)

by Esther Guerra,Mariëlle Stoelinga

ISBN 13: 9783030714994

Format: Paperback (388 pages)
Publisher: Springer
Published: 20 Mar 2021

Save for later

A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday: 13560 (Lecture Notes in Computer Science, 13560)

by Nils Jansen, Mariëlle Stoelinga, Petra van den Bos

ISBN 13: 9783031156281

Format: Paperback (594 pages)
Publisher: Springer
Published: 07 Sep 2022

Save for later